大拱桥--暨南大学学生门户 » 图书馆 » 搜索包含 Total Systems Reliability Symposium (1983 : National Bureau of Standards) 的图书(共8231本)

NASA Formal Methods [electronic resource] : 4th International Symposium, NFM 2012, Norfolk, VA, USA, April 3-5, 2012. Proceedings

0
索取号:
作者:Goodloe、 Alwyn E.、Person、 Suzette.、SpringerLink (Online service)、
出版社:Berlin, Heidelberg : Springer Berlin Heidelberg, 2012.

Self-Evolvable Systems [electronic resource] : Machine Learning in Social Media

0
索取号:
作者:Iordache、 Octavian.、SpringerLink (Online service)、
出版社:Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2012.

Programming Languages and Systems [electronic resource] : 21st European Symposium on Programming, ESOP 2012, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2012, Tallinn, Estonia, March 24 - April 1, 2012. Proceedings

0
索取号:
作者:Seidl、 Helmut.、SpringerLink (Online service)、
出版社:Berlin, Heidelberg : Springer Berlin Heidelberg, 2012.

Re-conceptualizing Enterprise Information Systems [electronic resource] : 5th IFIP WG 8.9 Working Conference, CONFENIS 2011, Aalborg, Denmark, October 16-18, 2011, Revised Selected Papers

0
索取号:
作者:M酶ller、 Charles.、Chaudhry、 Sohail.、SpringerLink (Online service)、
出版社:Berlin, Heidelberg : Springer Berlin Heidelberg, 2012.

Geometric Control of Patterned Linear Systems [electronic resource]

0
索取号:
作者:Hamilton、 Sarah C.、Broucke、 Mireille E.、SpringerLink (Online service)、
出版社:Berlin, Heidelberg : Springer Berlin Heidelberg, 2012.

Trends in Practical Applications of Agents and Multiagent Systems [electronic resource] : 10th International Conference on Practical Applications of Agents and Multi-Agent Systems

0
索取号:
作者:Rodr铆guez、 Juan M. Corchado.、P茅rez、 Javier Bajo.、Golinska、 Paulina.、Giroux、 Sylvain.、Corchuelo、 Rafael.、SpringerLink (Online service)、
出版社:Berlin, Heidelberg : Springer Berlin Heidelberg, 2012.

Advances on Practical Applications of Agents and Multi-Agent Systems [electronic resource] : 10th International Conference on Practical Applications of Agents and Multi-Agent Systems

0
索取号:
作者:Demazeau、 Yves.、M眉ller、 J枚rg P.、Rodr铆guez、 Juan M. Corchado.、P茅rez、 Javier Bajo.、SpringerLink (Online service)、
出版社:Berlin, Heidelberg : Springer Berlin Heidelberg, 2012.

Ambient Intelligence - Software and Applications [electronic resource] : 3rd International Symposium on Ambient Intelligence (ISAmI 2012)

0
索取号:
作者:Novais、 Paulo.、Hallenborg、 Kasper.、Tapia、 Dante I.、Rodr铆guez、 Juan M. Corchado.、SpringerLink (Online service)、
出版社:Berlin, Heidelberg : Springer Berlin Heidelberg, 2012.

Analysis and Synthesis of Delta Operator Systems [electronic resource]

0
索取号:
作者:Yang、 Hongjiu.、Xia、 Yuanqing.、Shi、 Peng.、Zhao、 Ling.、SpringerLink (Online service)、
出版社:Berlin, Heidelberg : Springer Berlin Heidelberg, 2012.

Highlights on Practical Applications of Agents and Multi-Agent Systems [electronic resource] : 10th International Conference on Practical Applications of Agents and Multi-Agent Systems

0
索取号:
作者:P茅rez、 Javier Bajo.、S谩nchez、 Miguel A.、Mathieu、 Philippe.、Rodr铆guez、 Juan M. Corchado.、Adam、 Emmanuel.、Ortega、 Alfonso.、Moreno、 Mar铆a N.、Navarro、 Elena.、Hirsch、 Benjamin.、Lopes-Cardoso、 Henrique.、Juli谩n、 Vicente.、SpringerLink (Online service)、
出版社:Berlin, Heidelberg : Springer Berlin Heidelberg, 2012.

Tools and Algorithms for the Construction and Analysis of Systems [electronic resource] : 18th International Conference, TACAS 2012, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2012, Tallinn, Estonia, March 24 鈥pril 1, 2012. Proceedings

0
索取号:
作者:Flanagan、 Cormac.、K枚nig、 Barbara.、SpringerLink (Online service)、
出版社:Berlin, Heidelberg : Springer Berlin Heidelberg, 2012.

Economics of Grids, Clouds, Systems, and Services [electronic resource] : 8th International Workshop, GECON 2011, Paphos, Cyprus, December 5, 2011, Revised Selected Papers

0
索取号:
作者:Vanmechelen、 Kurt.、Altmann、 J枚rn.、Rana、 Omer F.、SpringerLink (Online service)、
出版社:Berlin, Heidelberg : Springer Berlin Heidelberg, 2012.

Takagi-Sugeno Fuzzy Systems Non-fragile H-infinity Filtering [electronic resource]

0
索取号:
作者:Chang、 Xiao-Heng.、SpringerLink (Online service)、
出版社:Berlin, Heidelberg : Springer Berlin Heidelberg, 2012.

Self-Organizing Systems [electronic resource] : 6th IFIP TC 6 International Workshop, IWSOS 2012, Delft, The Netherlands, March 15-16, 2012. Proceedings

0
索取号:
作者:Kuipers、 Fernando A.、Heegaard、 Poul E.、SpringerLink (Online service)、
出版社:Berlin, Heidelberg : Springer Berlin Heidelberg, 2012.

VLSI-SoC: Forward-Looking Trends in IC and Systems Design [electronic resource] : 18th IFIP WG 10.5/IEEE International Conference on Very Large Scale Integration, VLSI-SoC 2010, Madrid, Spain, September 27-29, 2010, Revised Selected Papers

0
索取号:
作者:Ayala、 Jos茅 L.、Atienza Alonso、 David.、Reis、 Ricardo.、SpringerLink (Online service)、
出版社:Berlin, Heidelberg : Springer Berlin Heidelberg, 2012.

Measurement, Modelling, and Evaluation of Computing Systems and Dependability and Fault Tolerance [electronic resource] : 16th International GI/ITG Conference, MMB & DFT 2012, Kaiserslautern, Germany, March 19-21, 2012. Proceedings

0
索取号:
作者:Schmitt、 Jens B.、SpringerLink (Online service)、
出版社:Berlin, Heidelberg : Springer Berlin Heidelberg, 2012.
最近添加的分类